Update as Evidence: Belief Expansion
نویسندگان
چکیده
We introduce a justification logic with a novel constructor for evidence terms, according to which the new information itself serves as evidence for believing it. We provide a sound and complete axiomatization for belief expansion and minimal change and explain how the minimality can be graded according to the strength of reasoning. We also provide an evidential analog of the Ramsey axiom.
منابع مشابه
A Dialog ❖ Common Ground ❖ Update ❖ Illustration ❖ Problems ❖ Mad Scientist ❖ Belief Sets ❖ Expansion ❖ Formal Update ❖ Informativity
y Literature y A Dialog y Common Ground y Update y Illustration y Problems y Mad Scientist y Belief Sets y Expansion y Formal Update y Informativity y Other Dialogs y Pragmatic Presupposition y Literature y A Dialog y Common Ground y Update y Illustration y Problems y Mad Scientist y Belief Sets y Expansion y Formal Update y Informativity y Other Dialogs y Pragmatic Presupposition Let's take a ...
متن کاملA Combined System for Update Logic and Belief Revision
In this paper we propose a logical system combining the update logic of A. Baltag, L. Moss and S. Solecki (to which we will refer to by the generic term BMS, [BMS04]) with the belief revision theory as conceived by C. Alchouròn, P. Gärdenfors and D. Mackinson (that we will call the AGM theory, [GardRott95]) viewed from the point of view of W. Spohn ([Spohn90,Spohn88]). We also give a proof syst...
متن کاملPlato's Cave in the Dempster-Shafer land-the Link between Pignistic and Plausibility Transformations
In reasoning under uncertainty in AI, there are (at least) two useful and different ways of understanding beliefs: the first is as absolute belief or degree of belief in propositions and the second is as belief update or measure of change in belief. Pignistic and plausibility transformations are two wellknown probability transformations that map belief functions to probability functions in the ...
متن کاملBayes-Adaptive Interactive POMDPs
We introduce the Bayes-Adaptive Interactive Partially Observable Markov Decision Process (BA-IPOMDP), the first multiagent decision model that explicitly incorporates model learning. As in I-POMDPs, the BA-IPOMDP agent maintains beliefs over interactive states, which include the physical states as well as the other agents’ models. The BA-IPOMDP assumes that the state transition and observation ...
متن کاملPrivate announcement and belief expansion: an internal perspective
AGM belief revision theory and the BMS framework of dynamic epistemic logic both deal with the formalization of belief change, the former in a single agent setting and the latter in a multiagent setting. In this paper we study the relation between these two formalisms. To be fair, we restrict our attention to the AGM operation of expansion since the original BMS framework does not allow for bel...
متن کامل